3-D Tic-Tac-Toe milp FICO-Xpress GAMS short